Logic optimization - PDFSEARCH.IO - Document Search Engine

Logic optimization
Results: 335

#	Item
101	PDF Document Add to Reading List Source URL: navet.ics.hawaii.edu Language: English - Date: 2014-07-02 04:07:05 Software optimization Application programming interfaces Message Passing Interface Electronic design automation Profiling Simulation Performance prediction CPU cache Logic simulation Computing Parallel computing Computer programming
102	Study on train speed profile adjustments of two fixed-speed models for the real-time railway traffic optimization problem Joaqu´ın Rodriguez ∗ Add to Reading List Source URL: www.mech.kuleuven.be Language: English - Date: 2011-03-04 12:58:39 Mathematics Simulation Candidate solution Algorithm Optimization problem Logic simulation Local search Mathematical sciences Mathematical optimization Operations research Applied mathematics
103	PDF Document Add to Reading List Source URL: www.hpi.uni-potsdam.de Language: English - Date: 2015-05-08 07:57:18 Computing Constraint satisfaction Constraint logic programming Kaleidoscope Cassowary Mathematical optimization Declarative programming Quadratic programming Constraint inference Constraint programming Software engineering Computer programming
104	Review of Metareasoning: Thinking about thinking, ed. Michael Cox and Anita Raja, MIT Press, 2011, vii+340 pages. Metareasoning is reasoning about a reasoning process. This book is a collection of twenty recent research Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2011-07-23 17:48:38 Knowledge Reasoning system Inference Algorithm Reason Mathematical optimization Program optimization Reasoning Logic Science
105	A Hybrid Constraint Programming / Local Search Approach to the Job-Shop Scheduling Problem Jean-Paul Watson1 and J. Christopher Beck2 1 2 Add to Reading List Source URL: tidel.mie.utoronto.ca Language: English - Date: 2008-06-13 08:20:22 Mathematical optimization Algorithm Mathematical logic Theoretical computer science Science Job shop scheduling Tabu search Guided Local Search Search algorithm Operations research Mathematics Applied mathematics
106	Logic-based Benders Decomposition for Alternative Resource Scheduling with Sequence Dependent Setups Tony T. Tran and J. Christopher Beck1 Abstract. We study an unrelated parallel machines scheduling problem with sequenc Add to Reading List Source URL: tidel.mie.utoronto.ca Language: English - Date: 2012-12-18 10:57:27 Mathematical optimization Theoretical computer science Job shop scheduling Sequence-dependent setup Travelling salesman problem Optimization problem Ant colony optimization algorithms Multiprocessor scheduling Algorithm Operations research Applied mathematics Mathematics
107	´ THE DISCRETE FRECHET DISTANCE WITH APPLICATIONS by Timothy Randall Wylie Add to Reading List Source URL: www.cs.montana.edu Language: English - Date: 2014-10-27 15:50:51 Applied mathematics Operations research Algorithm Mathematical logic Theoretical computer science Dynamic time warping Dynamic programming Mathematics Control theory Mathematical optimization
108	PDF Document Add to Reading List Source URL: fpt.wdfiles.com Language: English - Date: 2013-02-01 22:08:19 Mathematical logic Theoretical computer science Programming idioms Mathematical optimization Operations research Dynamic programming Algorithm Recursion Overlapping subproblems Mathematics Computer programming Applied mathematics
109	Optimisation, Games, Adaptation: Three Perspectives on Operations Research for Counter-IED Add to Reading List Source URL: dodccrp.org Language: English - Date: 2012-10-03 12:15:00 Mathematical optimization Bombs Explosives Improvised explosive device Joint Improvised Explosive Device Defeat Organization Strategic dominance Nash equilibrium Genetic programming Counter-insurgency Logic Game theory Science
110	Solving a Location-Allocation Problem with Logic-Based Benders’ Decomposition Mohammad M. Fazel-Zarandi and J. Christopher Beck Department of Mechanical and Industrial Engineering University of Toronto Toronto, Ontario Add to Reading List Source URL: tidel.mie.utoronto.ca Language: English - Date: 2009-10-09 09:12:01 Operations research Mathematical optimization

UPDATE